Specifying superscalar microprocessors in Hawk
نویسندگان
چکیده
Hawk is a language for the speci cation of microprocessors at the microarchitectural level. In this paper we use Hawk to specify a modern microarchitecture based on the Intel P6 with features such as speculation, register renaming, and superscalar out-of-order execution. We show that parametric polymorphism, type-classes, higher-order functions, lazy evaluation, and the state monad are key to Hawk's concision and clarity.
منابع مشابه
Microprocessor Speci cation in Hawk
Modern microprocessors require an immense investment of time and eeort to create and verify, from the high-level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain-speciic language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languag...
متن کاملSpeci cation in Hawk
Modern microprocessors require an immense investment of time and e ort to create and verify, from the high-level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain-speci c language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languag...
متن کاملMicroprocessors, Digital Signal Processors and Microcontrollers
1. Microprocessors 1.1. Basic Definitions of Microprocessors 1.2. The Early Days of Microprocessors 1.3. The Era of RISC Microprocessors 1.4. Superscalar Microprocessors 1.5. VLIW Microprocessors 1.6. CISC, RISC, and VLIW Architectures Comparison 1.7. Multi-threaded and Multi-core Microprocessors 1.8. Future Directions for Multi-core Microprocessors 2. Digital Signal Processors 2.1. A Bird’s Ey...
متن کاملAn Algebraic Model of Correctness for Superscalar Microprocessors
A set of algebraic tools for microprocessors (Harman and Tucker [1995a], Harman and Tucker [1994], Fox and Harman [1996b]) are extended to accommodate superscalar processors, where instructions may be executed in parallel, or out of program order. This has implications for the representation of timing abstraction, the relationship between time at different levels of abstraction, and the concept...
متن کاملMulti-Core Microprocessors in Embedded Applications
Until now, Moore’s prediction that transistor density would double every year has been realized, driven primarily by the thirst for higher performance. However, the traditional approach to the development of superscalar microprocessors, where performance gain was derived largely by increasing the frequency, is failing to meet the performance and power requirements of the next generation of micr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998